#!/bin/bash
echo "Clearing bin/..."
rm -rf ./bin
mkdir ./bin
echo "Compiling to bin/..."
find ./src -name "*.java" > sources_list.txt
javac -cp lib/javabdd-1.0b2.jar:. @sources_list.txt -d ./bin &> /dev/null
rm -f sources_list.txt
cp ./libbuddy.so ./bin/libbuddy.so
